[IA64] Domain debugger for VTi: virtualize ibr and dbr.
authorAlex Williamson <alex.williamson@hp.com>
Mon, 2 Jul 2007 16:10:32 +0000 (10:10 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Mon, 2 Jul 2007 16:10:32 +0000 (10:10 -0600)
commit76bd74f3a555eef8e480f8196616cf52be1c9971
tree026c1641b11866b6dba97253820f7ab5aabaec75
parent17b12a0f2813ebc4c295336ca08d9ffc8ce1c6f3
[IA64] Domain debugger for VTi: virtualize ibr and dbr.

Misc cleanup.

Signed-off-by: Tristan Gingold <tgingold@free.fr>
xen/arch/ia64/vmx/vmmu.c
xen/arch/ia64/vmx/vmx_ivt.S
xen/arch/ia64/vmx/vmx_process.c
xen/arch/ia64/vmx/vmx_utility.c
xen/arch/ia64/vmx/vmx_vcpu.c
xen/arch/ia64/vmx/vmx_virt.c
xen/arch/ia64/xen/vcpu.c
xen/include/asm-ia64/linux-xen/asm/ptrace.h
xen/include/asm-ia64/vmx.h
xen/include/asm-ia64/vmx_vcpu.h